Transformation of UML Activity Diagrams into Analyzable Systems and Software Blueprints Construction
نویسندگان
چکیده
Unified Modeling Language (UML) is a standard language for software blueprints, UML can be used to visualize, specify, construct and document software-intensive system of heritage. In the UML, the activity diagrams often are widely used to workflow and system flow in system analysis. However, the activity diagram of UML now there are still many drawbacks to be overcome, such as lacks support for simulation, dynamic semantics limits and verifiability capabilities. Petri nets are a popular technique for modeling the control flow dimension of workflows. Associative Petri nets (APNs) not only take all the advantages of PNs but also has a complete semantics, simulation and verifiability capabilities. Therefore, in this paper, we propose a methodology to describe how UML Activity diagrams can be intuitively translated into an APN model. This work can improve the simulation and verifiability capabilities of activity diagram and provides the systematic procedure to reduce complexity of translating activity diagrams into associative Petri net. Key-Words: Unified Modeling Language, Activity Diagram, Visualize, System Description
منابع مشابه
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
The Object Management Group (OMG) is in the process of defining a UML Profile for Schedulability, Performance and Time that will enable the construction of models for making quantitative predictions regarding these characteristics. The paper proposes a graph-grammar based method for transforming automatically a UML model annotated with performance information into a Layered Queueing Network (LQ...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملSoftware Performance Evaluation: Graph Grammar-based Transformation of UML Design Models into Performance Models
The quality of many software intensive systems is determined to a large extent by their performance characteristics, such as response time and throughput. The developers of such systems should be able to assess and understand the performance effects of various design decisions starting at an early stage, when changes are easy and less expensive, and continuing throughout the software life cycle...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کامل